大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Interactive Software Engineering 的图书(共3045本)

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

0
索取号：
作者：Gl眉ck、 Robert.、Lowry、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

0
索取号：
作者：Luo、 Yuhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Engineering and Middleware [electronic resource] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

0
索取号：
作者：Gschwind、 Thomas.、Mascolo、 Cecilia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

0
索取号：
作者：Bastide、 R茅mi.、Palanque、 Philippe.、Roth、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Tissue Engineering I [electronic resource]

0
索取号：
作者：Lee、 Kyongbum.、Kaplan、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications

0
索取号：
作者：Brueckner、 Sven A.、Marzo Serugendo、 Giovanna.、Karageorgos、 Anthony.、Nagpal、 Radhika.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Godefroid、 Patrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Innovations in Applied Artificial Intelligence [electronic resource] : 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

0
索取号：
作者：Ali、 Moonis.、Esposito、 Floriana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Societies in the Agents World V [electronic resource] : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

0
索取号：
作者：Gleizes、 Marie-Pierre.、Omicini、 Andrea.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Scientific Engineering of Distributed Java Applications [electronic resource] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

0
索取号：
作者：Guelfi、 Nicolas.、Reggio、 Gianna.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

0
索取号：
作者：Grabowski、 Jens.、Nielsen、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Montanari、 Ugo.、Orejas、 Fernando.、Rozenberg、 Grzegorz.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications

0
索取号：
作者：Choren、 Ricardo.、Garcia、 Alessandro.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.